Iterated Belief Contraction from First Principles
نویسندگان
چکیده
Importance of contraction for belief change notwithstanding, literature on iterated belief change has by and large centered around the issue of iterated belief revision, ignoring the problem of iterated belief contraction. In this paper we examine iterated belief contraction in a principled way, starting with Qualified Insertion, a proposal by Hans Rott. We show that a judicious combination of Qualified Insertion with a well-known Factoring principle leads to what is arguably a pivotal principle of iterated belief contraction. We show that this principle is satisfied by the account of iterated belief contraction modelled by Lexicographic State Contraction, and outline its connection with Lexicographic Revision, Darwiche-Pearl’s account of revision as well as Spohn’s Ordinal ranking theory.
منابع مشابه
Extending the Harper Identity to Iterated Belief Change
The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e., contraction receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief ...
متن کاملMeasuring Ranks via the Complete Laws of Iterated Contraction
Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper gives a complete axiomatization of that behavior, i.e., a complete set of laws of iterated contraction. It does so by showing how to reconstruct a ranking function from its iterated contraction behavior uniquely up to multiplicative constant and thus how ...
متن کاملIterated Belief Change and the Levi Identity
Most works on iterated belief change have focussed on iterated belief revision, namely, on how to compute (K∗ x)∗y . However, historically, belief revision has been defined in terms of belief expansion and belief contraction that have been viewed as primary operations. Accordingly, what we should be looking at are constructions like: (K+ x ) + y , (K − x ) + y , (K + x ) − y and (K− x )−y . The...
متن کاملBelief Change in Branching Time: AGM-consistency and Iterated Revision
We study belief change in the branching-time structures introduced in [4]. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision ...
متن کاملThe Irreducibility of Iterated to Single Revision
After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. ...
متن کامل